// ----------------------------------------
// Filename: Waiting_Queue.h
// Description: The header file for a waiting queue
// Author: Jon Maloney
// Date: 30-May-2012
//

#ifndef WAITING_QUEUE_H
#define WAITING_QUEUE_H

//************************************************************
//                    Include .h files
//************************************************************
#include "types.h"
//************************************************************
//                    Include external references
//************************************************************

//************************************************************
//                    Define Statements
//************************************************************

//************************************************************
//                    Global variables and constants
//************************************************************

//************************************************************
//                    Prototype Global Functions
//************************************************************

void Waiting_Queue_Add(TCB * currentRunningTask, kernelTickType delayTime);

#endif
